(0 19 16)(1 7 5)(2 10 4)(3 18 15)(6 13 8)(9 17 14)(11 20 12)
ALLOWS (11/8)-SEQUENCE
1: (3 12 15)
(0 19 16)(1 7 5)(2 10 4)(3)(6 13 8)(9 17 14)(11 20 12 18 15)
2: (12 18 20)
(0 19 16)(1 7 5)(2 10 4)(3)(6 13 8)(9 17 14)(11 20 15)(12)(18)
3: (0 19 16)
(0)(1 7 5)(2 10 4)(3)(6 13 8)(9 17 14)(11 20 15)(12)(16)(18)(19)
4: (9 17 14)
(0)(1 7 5)(2 10 4)(3)(6 13 8)(9)(11 20 15)(12)(14)(16)(17)(18)(19)